Case Studies in Using a Meta-Method for Formal Method Integration
نویسنده
چکیده
We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.
منابع مشابه
How Does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Oral Proficiency?
Meta-discourse markers are an inevitable part of oral proficiency which improve both the quality and comprehension of learners’ speech. While studies of oral meta-discourse have been conducted since the 1980s in a European or US context, they have remained relatively untouched in Iran. Therefore, this study aimed to seek the impact of both explicit and implicit teaching of formal meta-discourse...
متن کاملA Meta-Method for Formal Method Integration
We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.
متن کاملUsing Heterogeneous Notations to Integrate a Formal and Object-Oriented Method
We combine a formal speciication technique with an object-oriented method using a meta-method for formal method integration based on heterogeneous notations 18, 19]. We discuss the integrated method, and then apply it to an example.
متن کاملA Tool-Supported Integration of BON and JML
We describe a tool-supported integration of an object-oriented formal method, BON, with an object-oriented formal modelling language, JML. The integration is both artifactual – carried out so as to exploit JML’s existing and planned tool support – and effectual, in order to provide a graphical syntax and process support for JML. The integration is characterised using the meta-method of [13, 14]...
متن کاملIntegrating a Program Design Calculus and a Subset of UML
The predicative programming design calculus is integrated with an object-oriented method that uses a subset of the Unified Modelling Language. The integration is carried out so as to make the calculus and refinement techniques more applicable to the development of large-scale objectoriented software. The two methods are integrated using a meta-method for formal method integration based on heter...
متن کامل